public class PVarRef {
    public PVarRef(PVar var) { this.var = var; }
    public String toString() { return "ref:" + var; }
    public PVar getRef() { return var; }
  
    private PVar var;
}  
